搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010 0 索取号：作者：Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Nakamatsu、 Kazumi.、Howlett、 Robert J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Production Economics [electronic resource] : The Basic Theory of Production Optimisation 0 索取号：作者：Rasmussen、 Svend.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings 0 索取号：作者：Atallah、 Mikhail J.、Hopper、 Nicholas J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 0 索取号：作者：Butterfield、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings 0 索取号：作者：Hanrot、 Guillaume.、Morain、 Fran莽ois.、Thom茅、 Emmanuel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings 0 索取号：作者：Gao、 Yuan.、Lu、 Hanlin.、Seki、 Shinnosuke.、Yu、 Sheng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Theory of Particle and Cluster Emission [electronic resource] 0 索取号：作者：Delion、 Doru S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Geometric Theory of Discrete Nonautonomous Dynamical Systems [electronic resource] 0 索取号：作者：P枚tzsche、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 0 索取号：作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009 0 索取号：作者：Peng、 Shia-Hui.、Doerffer、 Piotr.、Haase、 Werner.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 0 索取号：作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Density Functional Theory [electronic resource] : An Advanced Course 0 索取号：作者：Engel、 Eberhard.、Dreizler、 Reiner M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part I 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	L茅vy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance 0 索取号：作者：Duquesne、 Thomas.、Reichmann、 Oleg.、Sato、 Ken-iti.、Schwab、 Christoph.、Barndorff-Nielsen、 Ole E.、Bertoin、 Jean.、Jacod、 Jean.、Kl眉ppelberg、 Claudia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Uncertainty Theory [electronic resource] : A Branch of Mathematics for Modeling Human Uncertainty 0 索取号：作者：Liu、 Baoding.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010 0 索取号：作者：Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Nakamatsu、 Kazumi.、Howlett、 Robert J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Production Economics [electronic resource] : The Basic Theory of Production Optimisation 0 索取号：作者：Rasmussen、 Svend.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings 0 索取号：作者：Atallah、 Mikhail J.、Hopper、 Nicholas J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers 0 索取号：作者：Butterfield、 Andrew.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings 0 索取号：作者：Hanrot、 Guillaume.、Morain、 Fran莽ois.、Thom茅、 Emmanuel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings 0 索取号：作者：Gao、 Yuan.、Lu、 Hanlin.、Seki、 Shinnosuke.、Yu、 Sheng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Theory of Particle and Cluster Emission [electronic resource] 0 索取号：作者：Delion、 Doru S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Geometric Theory of Discrete Nonautonomous Dynamical Systems [electronic resource] 0 索取号：作者：P枚tzsche、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 0 索取号：作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009 0 索取号：作者：Peng、 Shia-Hui.、Doerffer、 Piotr.、Haase、 Werner.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 0 索取号：作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Density Functional Theory [electronic resource] : An Advanced Course 0 索取号：作者：Engel、 Eberhard.、Dreizler、 Reiner M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part I 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	L茅vy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance 0 索取号：作者：Duquesne、 Thomas.、Reichmann、 Oleg.、Sato、 Ken-iti.、Schwab、 Christoph.、Barndorff-Nielsen、 Ole E.、Bertoin、 Jean.、Jacod、 Jean.、Kl眉ppelberg、 Claudia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Uncertainty Theory [electronic resource] : A Branch of Mathematics for Modeling Human Uncertainty 0 索取号：作者：Liu、 Baoding.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.